package ch.epfl.lara.matcheck.verify.axioms;

import ch.epfl.lara.matcheck.ast.Formula

abstract class IAxiom  {
  
  type Axiom = Formula
  type Axioms = List[Axiom]
  
  protected val ifc = ImplicitFormulaConversions
  
}
